1.
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
by Rolf Hammer, Matthias Hocks...
ISBN: 9783642796531
List Price: $99.00
2.
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and...
by Rolf Hammer, Matthias Hocks...
ISBN: 9783642784255
List Price: $129.00
3.
Perspectives on Enclosure Methods
by Kulisch, Ulrich, Lohner, Ru...
ISBN: 9783211835906
List Price: $98.00
4.
Advanced Arithmetic for the Digital Computer Design of Arithmetic Units
by Kulisch, Ulrich W.
ISBN: 9783211838709
List Price: $69.95
5.
Computer Arithmetic And Validity: Theory, Implementation, and Applications
by Kulisch, Ulrich
ISBN: 9783110203189
OUT OF STOCK
See Availability on Amazon6.
Computer Arithmetic and Validity : Theory, Implementation, and Applications
by Kulisch, Ulrich
ISBN: 9783110301731
OUT OF STOCK
See Availability on Amazon7.
Computer Arithmetic and Validity : Theory, Implementation, and Applications
by Kulisch, Ulrich
ISBN: 9783119167673
OUT OF STOCK
See Availability on Amazon8.
Computational and Applied Mathematics, I: Algorithms and Theory (No. 1)
by Brezinski, C., Kulisch, Ulr...
ISBN: 9780444897015
List Price: $198.50
OUT OF STOCK
See Availability on Amazon9.
Pascal-SC : A PASCAL Extenstion for Scientific Computation
by Kulisch, Ulrich W., Kaucher...
ISBN: 9780471915140
List Price: $224.40
OUT OF STOCK
See Availability on Amazon10.
Jahrbuch Uberblicke Mathematik, 1991
by Chatterji, S. D., Kulisch, ...
ISBN: 9783528089467
List Price: $35.00
OUT OF STOCK
See Availability on Amazon11.
Perspectives on Enclosure Methods
by Kulisch, Ulrich, Lohner, Ru...
ISBN: 9783709162835
List Price: $24.99
OUT OF STOCK
See Availability on Amazon12.
Numerical Toolbox for Verified Computing I
by Hammer, Rolf, Hocks, Matthi...
ISBN: 9783642784248
List Price: $24.99
OUT OF STOCK
See Availability on Amazon13.
Advanced Arithmetic for the Digital Computer
by Kulisch, Ulrich
ISBN: 9783709105269
List Price: $24.99
OUT OF STOCK
See Availability on Amazon14.
C++ Toolbox for Verified Computing I
by Hammer, Rolf, Hocks, Matthi...
ISBN: 9783642796524
List Price: $24.99
OUT OF STOCK
See Availability on Amazon17.
Scientific Computation with Automatic Result Verification
by Kulisch, Ulrich, J Stetter,...
ISBN: 9783709169582
List Price: $24.99
OUT OF STOCK
See Availability on Amazon19.
Computer Arithmetic and Validity : Theory, Implementation, and Applications
by Kulisch, Ulrich
ISBN: 9783110301809
OUT OF STOCK
See Availability on Amazon20.
Rechnerorientierte Verfahren (Mathematische Methoden der Technik) (German Edition)
by Bernhard Kutzler, Manfred F...
ISBN: 9783519026174
List Price: $69.99
21.
PASCAL-XSC: Sprachbeschreibung mit Beispielen (German Edition)
by Rudi Klatte, Ulrich Kulisch...
ISBN: 9783540537144
List Price: $69.99
22.
Scientific Computation With Automatic Result Verification (Computing Supplementum, 6) - Ulri...
by Kulisch, Ulrich W., Stetter...
ISBN: 9780387820637
List Price: $95.00
OUT OF STOCK
See Availability on Amazon23.
Scientific Computing with Automatic Result Verification - Ernst Adams - Hardcover
by Adams, E., Kulisch, Ulrich W.
ISBN: 9780120442102
List Price: $78.00
OUT OF STOCK
See Availability on Amazon24.
Pascal-XSC: Language Reference with Examples
by Klatte, R., Kulisch, Ulrich...
ISBN: 9780387551371
List Price: $62.95
25.
New Approach to Scientific Computation (Symposium)
by Kulisch, Ulrich W., Miranke...
ISBN: 9780124286603
List Price: $92.00